Tracking Causal Dependencies in Web Services Orchestrations Defined in ORC
نویسندگان
چکیده
This article shows how the operational semantics of a language like ORC can be instrumented so that the execution of a program produces information on the causal dependencies between events. The concurrent semantics we obtain is based on asymmetric labeled event structures. The approach is illustrated using a Web service orchestration instance and the detection of race conditions.
منابع مشابه
Event Structure Semantics of Orc Sidney Rosario , David Kitchin , Albert Benveniste
One challenge in developing wide-area distributed applications is analyzing the system's non-functional properties, including timing constraints and internal dependencies that can affect quality of service. Analysis of non-functional properties requires a precise formal semantics for the language in which the system is written; but labelled transition systems and trace semantics, which are comm...
متن کاملN o d ’ ordre : 4015 ANNÉE 2009
Web Services orchestrations require a firm mathematical basis for their development. We start from the Orc formalism proposed by J. Misra and co-workers, at Austin University. Orc is small and elegant and captures the essence of orchestrations. We translate Orc into colored Petri net systems, a generalization of Petri nets allowing to handle recursion—this formalism was recently proposed by Dev...
متن کاملEvent Structure Semantics of Orc
One challenge in developing wide-area distributed applications is analyzing the system’s non-functional properties, including timing constraints and internal dependencies that can affect quality of service. Analysis of non-functional properties requires a precise formal semantics for the language in which the system is written; but labelled transition systems and trace semantics, which are comm...
متن کاملReasoning frameworks for Service-based Orchestrations
An orchestration is a evaluation which invokes (multiple) remote services in order to compute some required result(s). By assuming that services are pre-specified it is possible to assign meanings to multi-threaded orchestrations. Orc is a structured concurrent calculus which can be used to schedule timeouts and manage multi-threaded service-based orchestrations. Two formal definitions of Orc a...
متن کاملOptimizing Decisions in Web Services Orchestrations
Web services orchestrations conventionally employ exhaustive comparison of runtime quality of service (QoS) metrics for decision making. The ability to incorporate more complex mathematical packages is needed, especially in case of workflows for resource allocation and queuing systems. By modeling such optimization routines as service calls within orchestration specifications, techniques such a...
متن کامل